⚖️ RISC-V Formal - matmat · Scour

System-Level Isolation for Mixed-Criticality RISC-V SoCs: A "World" Reality Check

arxiv.org·1d

**Abstract:** This research introduces a novel framework for formally verifying distributed consensus protocols, specifically Raft, using Lean 4 and dependen...

freederia.com·22h

🤝Consensus Protocols

I Built a 6 BIPS JIT in Five Months

unlikelyemphasis.substack.com·1d·

Discuss: Substack

⚙️RISC-V Microcode

Build a Compiler in Five Projects

kmicinski.com·4h

CAP-SRP: Building a Cryptographic Flight Recorder for AI Content Refusals — A Complete Implementation Guide

dev.to·12h·

Discuss: DEV

🌳Archive Merkle Trees

Why Large Language Models Make Terrible Compilers — And Why the Industry Keeps Trying Anyway

webpronews.com·12h

🏗️Compiler Archaeology

The first computer chip

dfarq.homeip.net·1d

🧲RISC-V Archaeology

On The Crank Spectrum

exple.tive.org·14h

🖥️Terminal Renaissance

Initial AMD Zen 6 "znver6" Support Merged For LLVM/Clang

phoronix.com·2h

🏭Compiler Backends

The Launch of RISC-V Now! A New Chapter in Open Computing

semiwiki.com·2d

🎲 Piecemeal Formal Verification: Cloudflare, Java Exceptions, and Rust Mutexes

gavinhoward.com·2d

🦀Rust Verification

hack.org·14h

🔓Open Source Software

Cascading Robustness Verification: Toward Efficient Model-Agnostic Certification

arxiv.org·2d

🔧Hardware Verification

Asrock responds to reports of Ryzen 9000 CPU failures on its AM5 motherboards

techspot.com·1d

🧪Hardware Fuzzing

OSTEP Chapters 6,7

muratbuffalo.blogspot.com·1d·

Discuss: Blogger

⚡CPU Microarchitecture

[$] Modernizing swapping: the end of the swap map

lwn.net·1d

🔗Topological Sorting

LLMs could be, but shouldn't be compilers

alperenkeles.com·1d·

Discuss: Lobsters, Hacker News

💧Liquid Types

Flow-Based Programming: Seminal Texts and Theoretical Foundations

repolex.ai·1d·

Discuss: Hacker News

💻Programming languages

Local Agent Bench: Test 11 small LLMs on tool-calling judgment, on CPU, no GPU

github.com·26m·

Discuss: Hacker News

⚡Performance Mythology

Agentic Proof-Oriented Programming

risemsr.github.io·1d·

Discuss: Lobsters, Hacker News

⚔️Lean Tactics

Loading more...